Mona bada, jakie reguy rzdz poprawnoci zda, to znaczy poprawnoci programw w tym jzyku, inaczej mwic - jak ten jzyk posiada gramatyk rozwaany jzyk jest doskona ilustracj faktu, e badanie tylko struktury zda jzyka, jakkolwiek bardzo wane, nie jest wystarczajce. Z regu gramatycznych jzyka nie wynika bowiem znaczenie, a to dla nas jest ostatecznie najwaniejsze. 